Global, Rigorous and Realistic Bounds for the Solution of Dissipative Diierential Equations. Part I: Theory
نویسنده
چکیده
It is shown how interval analysis can be used to calculate rigorously valid enclosures of solutions to initial value problems for ordinary diierential equations. In contrast to previously known methods, the enclosures obtained are valid over larger time intervals, and for uniformly dissipative systems even globally. This paper discusses the underlying theory; main tools are logarithmic norms and diierential inequalities. Numerical results will be given in a subsequent paper.
منابع مشابه
Solving singular integral equations by using orthogonal polynomials
In this paper, a special technique is studied by using the orthogonal Chebyshev polynomials to get approximate solutions for singular and hyper-singular integral equations of the first kind. A singular integral equation is converted to a system of algebraic equations based on using special properties of Chebyshev series. The error bounds are also stated for the regular part of approximate solut...
متن کاملcient algorithms for rigorous integration forward in time of dPDEs . Existence of globally attracting xed points of viscous Burgers equation with constant forcing , a computer assisted proof
The dissertation is divided into two separate parts. First part We propose an e cient and generic algorithm for rigorous integration forward in time of systems of equations originating from partial di erential equations written in the Fourier basis. By rigorous integration we mean a procedure, which operates on sets, and return sets which are guaranteed to contain the exact solution. The algori...
متن کاملA Rigorous Calculation Method for Determining Potential-pH Diagrams Part I: Copper in Aqueous Solutions of Various Complexing Agents
The main aim of this research is to determine optimal leaching conditions; Eh, pH and complexing agent concentrations, for recovery of Copper from hydroxide sludges such as those produced by electroplating shops, metal finishers, treatment of acid mine drainage, and industrial wastewater in general. This has been preceded by a theoretical approach and numerical and computer calculation. Pot...
متن کاملConvergence analysis of the global FOM and GMRES methods for solving matrix equations $AXB=C$ with SPD coefficients
In this paper, we study convergence behavior of the global FOM (Gl-FOM) and global GMRES (Gl-GMRES) methods for solving the matrix equation $AXB=C$ where $A$ and $B$ are symmetric positive definite (SPD). We present some new theoretical results of these methods such as computable exact expressions and upper bounds for the norm of the error and residual. In particular, the obtained upper...
متن کاملGlobal optimization of mixed-integer polynomial programming problems: A new method based on Grobner Bases theory
Mixed-integer polynomial programming (MIPP) problems are one class of mixed-integer nonlinear programming (MINLP) problems where objective function and constraints are restricted to the polynomial functions. Although the MINLP problem is NP-hard, in special cases such as MIPP problems, an efficient algorithm can be extended to solve it. In this research, we propose an algorit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993